@echo off

set /p arvpr="Uzyc proxy [T/N]"

if %arvpr%==T (
hg --config http_proxy.host=proxy.arval.fr:8080 --config http_proxy.user=501440 --config http_proxy.passwd=Gigawatt5 pull
) ELSE (
hg pull
)

hg update
pause